FPG: A code generator for fast and certified geometric predicates
نویسندگان
چکیده
We present a general purpose code analyzer and generator for filtered predicates, which are critical for geometric algorithms. While there already exist such code generators, our contribution is to generate ”almost static filters”, a type of filter which could not be generated previously. The generated and safe filtered predicates are almost as fast as their inexact floating point counterparts, in most cases.
منابع مشابه
ACS Algorithms for Complex Shapes with Certified Numerics and Topology FPG: A code generator for fast and certified geometric predicates
We present a general purpose code analyzer/generator for filtered predicates, which are critical for geometric algorithms. While there already exist such code generators, our contribution is to generate ”almost static filters”, a type of filter which could not be generated previously. The generated and safe filtered predicates are almost as fast as their inexact floating point counterparts, in ...
متن کاملFormally certified floating-point filters for homogeneous geometric predicates
Floating-point arithmetic provides a fast but inexact way of computing geometric predicates. In order for these predicates to be exact, it is important to rule out all the numerical situations where floating-point computations could lead to wrong results. Taking into account all the potential problems is a tedious work to do by hand. We study in this paper a floating-point implementation of a f...
متن کاملA deterministic pseudorandom perturbation scheme for arbitrary polynomial predicates
We present a symbolic perturbation scheme for arbitrary polynomial geometric predicates which combines the benefits of Emiris and Canny’s simple randomized linear perturbation scheme with Yap’s multiple infinitesimal scheme for general predicates. Like the randomized scheme, our method accepts black box polynomial functions as input. For nonmaliciously chosen predicates, our method is as fast a...
متن کاملOptimization study for BNCT facility based on a DT neutron generator
Background: A Boron Neutron Capture Therapy (BNCT) facility, based on a DT neutron generator, with the final goal to find out a potential, alternative, solution to existing BNCT treatment facilities which are based on nuclear reactors is examined. Materials and Methods: With the aim of the MCNP4B Monte Carlo code different beam-shaping assembly (BSA) configurations were considered. Lead was sel...
متن کاملPresenting a model for optimized selection of certified public accountants based on compliance with code of ethics for professional accountants with personality trait approach
Abstract Personality is one of the ways to illustrate human’s characteristics which is usually related to some stable features and other hand Many research evidence regarding big five personal traits have been extended during the years. Current research presents a practical model for optimized selection of certified public accountants based on their personal traits. This study is of causal and ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008